home *** CD-ROM | disk | FTP | other *** search
/ ASME's Mechanical Engine…ing Toolkit 1997 December / ASME's Mechanical Engineering Toolkit 1997 December.iso / ai / prlg195b.lzh / CAD.LZH / SAMCIR.PRO < prev    next >
Text File  |  1987-04-05  |  2KB  |  80 lines
  1. /*
  2. .pn1
  3. .he                    FILE: KARPOVSKY'S CIRCUIT */
  4.  
  5. inputs( [n1,n3,n5,n9,n11] ).
  6. outputs( [n29,n30,n31,n32,n33,n34] ).
  7. elements( 
  8.   [x1b,x2b,x3b,x4b,x5b,x6b,
  9.    o1,o2,o3,o4,p1,p2,p3,p4,p5,p6,p7,p8,q1,q2,q3,q4,r1,r2,r3,r4,r5,r6] ).
  10. x1b( constraint1, 1, [n1], n2 ).
  11. x2b( constraint1, 1, [n3], n4 ).
  12. x3b( constraint1, 1, [n5], n6 ).
  13. x4b( constraint1, 1, [n7], n8 ).
  14. x5b( constraint1, 1, [n9], n10 ).
  15. x6b( constraint1, 1, [n11], n12 ).
  16.  
  17. /* The circuit element descriptors: */
  18.  
  19. o1( and2, 2, [n1,n3],  n13 ).
  20. o2( and2, 2, [n5,n8],  n14 ).èo3( and2, 2, [n6,n8],  n15 ).
  21. o4( and2, 2, [n9,n12], n16 ).
  22.  
  23. p1( buf, 1, [n13], n17 ).
  24. p2( and2, 2, [n1,n14], n18 ).
  25. p3( and2, 2, [n4,n15], n19 ).
  26. p4( and3, 3, [n2,n9,n15], n20 ).
  27.  
  28. p5( and2, 2, [n3,n16], n21 ).
  29. p6( and2, 2, [n11,n15], n22 ).
  30. p7( and3, 3, [n4,n11,n14], n23 ).
  31. p8( and2, 2, [n14,n16], n24 ).
  32.  
  33. q1( or2, 2, [n17,n18], n25 ).
  34. q2( or2, 2, [n19,n20], n26 ).
  35. q3( or2, 2, [n19,n21], n27 ).
  36. q4( or2, 2, [n23,n24], n28 ).
  37.  
  38. r1( or3, 3, [n25,n26,n22], n29 ).
  39. r2( or3, 3, [n18,n26,n28], n30 ).
  40. r3( or2, 2, [n27,n23], n31 ).
  41. r4( or3, 3, [n25,n21,n22], n32 ).
  42. r5( or3, 3, [n18,n21,n24], n33 ).
  43. r6( or3, 3, [n25,n26,n28], n34 ).
  44.  
  45. /* The netlist descriptors: */
  46.  
  47. n1( 1, x1,  [o1,p2] ).
  48. n2( 2, x1b, [p4] ).
  49. n3( 3, x2,  [p5] ).
  50. n4( 4, x2b, [p3,p7] ).
  51. n5( 5, x3,  [o2] ).
  52. n6( 6, x3b, [o3] ).
  53. n7( 7, x4,  [] ).
  54. n8( 8, x4b, [o2,o3] ).
  55. n9( 9, x5,  [p4] ).
  56. n10( 10, x5b, [] ).
  57. n11( 11, x6, [p6,p7] ).
  58. n12( 12, x6b,[o4] ).
  59. n13( 13, o1, [p1] ).
  60. n14( 14, o2, [p2,p7,p8] ).
  61. n15( 15, o3, [p3,p4,p6] ).
  62. n16( 16, o4, [p5,p8] ).
  63. n17( 17, p1, [q1] ).
  64. n18( 18, p2, [q1,r2,r5] ).
  65. n19( 19, p3, [q2,q3] ).
  66. n20( 20, p4, [q2] ).
  67. n21( 21, p5, [q3,r4,r5] ).
  68. n22( 22, p6, [r1,r4] ).
  69. n23( 23, p7, [q4,r3] ).
  70. n24( 24, p8, [q4,r5] ).
  71. n25( 25, q1, [r1,r4,r6] ).
  72. n26( 26, q2, [r1,r2,r6] ).
  73. n27( 27, q3, [r3] ).
  74. n28( 28, q4, [r2,r6] ).
  75. n29( 29, r1, [f1] ).èn30( 30, r2, [f2] ).
  76. n31( 31, r3, [f3] ).
  77. n32( 32, r4, [f4] ).
  78. n33( 33, r5, [f5] ).
  79. n34( 34, r6, [f6] ).
  80.